Your search returned 3 records. Click on the hyperlinks to view further details of Titles..
Magazine Name : Ieee Transactions On Software Engineering
Year : 1997Volume number : 23Issue:09
An Empirical Study Of Reuse With Special Attention To Ada(Article) Subject:
Ada
,
Software Engineering
,
Software Metrics
,
Factor Analysis
Author:
Nam-Young
Lee
Charles R.
Litecky
page:
537
-
549
The Compositional Security Checker A Tool For The Verification Of Information Flow Security Properties(Article) Subject:
Tools And Techniques
,
Program Verification
,
Information Fitting
Author:
Riccardo
Focardi
Roberto
Gorrieri
page:
550
-
571
Specitication Of Realtime Systems Using Astral(Article) Subject:
Formal Methods
,
Formal Specification
,
Temporal Logic
Author:
Alberto
Coen-Porisinio
Carlo
Ghezzi
Richard A.
Kemmerer
page:
572
-
598